An Application of Independent , Increasing , Free - Choice
نویسنده
چکیده
The class of Independent, Increasing, Free-Choice Petri nets (II-FCPNs) was introduced in reference Sre97c], where it is shown that any II-FCPN can be made live via supervision using a readily available policy. In a live Petri net (PN) Pet81, Rei85], it is possible to re any transition from every reachable marking, although not necessarily immediately. In this paper we identify a class of PNs, where every transition is controllable, that are not necessarily II-FCPNs, that can be made live via supervision using a readily available policy constructed from the policy that enforces liveness in an II-FCPN.
منابع مشابه
One-Pot Reduction of Aromatic Carboxylic Acid to Alcohol by SiO2@FeSO4 Nano Composite at Solvent-free Condition
Application of SiO2@FeSO4 nanocomposite as a new nanocatalyst in reduction area was investigated. Carboxylic acid simple and convenient reduction to alcohol by 0.75 mol of the nanocomposite, 3 mol sodium borohydride (NaBH4) as reduction reagent under a solvent-free condition at 30-65 min. The reaction happens in two stages - first to form an aldehyde and the...
متن کاملCharacterization and Application of SO3H-functionalized Phthalimide (SFP) as an Efficient and Recyclable Catalyst for the Solvent-free Synthesis of 2-Amino-4H-chromenes
In this research, SO3H-functionalizedphthalimide (SFP) has been prepared through simple reaction of phthalimide with chlorosulfonic acid, and characterized using FT-IR, 1H NMR, 13C NMR, SEM (scanning electron microscopy), mass and TG (thermal gravimetric) spectra. Afterward, the solid acid has been utilized as an efficient, green, heterogeneous and recyclable ca...
متن کاملOn Calibration and Application of Logit-Based Stochastic Traffic Assignment Models
There is a growing recognition that discrete choice models are capable of providing a more realistic picture of route choice behavior. In particular, influential factors other than travel time that are found to affect the choice of route trigger the application of random utility models in the route choice literature. This paper focuses on path-based, logit-type stochastic route choice models, i...
متن کاملسبک های همسرگزینی (سنتی، آزاد و ترکیبی) و رضایت زناشویی در پرستاران
Research shows that mate-selection styles have an important role in marital and relationship satisfaction. This study was conducted with purpose of to compare of marital satisfaction in married nurses according to mate-selection styles (free choice, arranged and mixed marriage). The present survey was descriptive-causal comparative study. A sample of 222 married nurses were selected using rando...
متن کاملAn Investigation and Analysis of Context and Requirements of New Regionalism with Respect to Increasing Competitiveness and Creativity in Iran (Case Study: Qeshm Island)
Mismatch of territories under authority of local governments with urban-regional activity domains, on one hand, has caused numerous problems and, on the other hand, has hindered taking maximum advantage of regional capacities and partial and competitive advantages. Hence, application of a new regionalism approach, which focuses on shared planning and management by all stakeholder groups within ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998